Abhik Roychoudhury National University of Singapore Singapore |
Zijiang Yang Western Michigan University USA |
Editor: Enrico Pontelli |
The fourth International Workshop on Software verification
and Validation was held as an ICLP'06 workshop as part of the Federated Logic
Conferences (FLoC) 2006. Since its inception in 2003 as an ICLP workshop, SVV
has grown to be a forum for discussing combinations of various software
validation methods (automated or manual, formal or informal). This year, we
received 12 papers out of which 7 were selected for presentation by the Program
Committee.
The workshop was held on August 21. It started with an invited presentation, Automatic Termination Proofs
for Systems-level Code, by Byron Cook from Microsoft
Research. In the talk Dr. Cook described recent advances in the area of
automatic program termination analysis. In particular, he presented the
development of several new automatic tools, called TERMINATOR and MUTANT, which
implement new termination analysis algorithms.
The first presentation of accepted papers was given by Ganna
Zaks from
The second presentation was given by Dr. Luke
Simon from the
After the lunch break, Aleks Zaks from
Dr. Elvira Albert from Complutense University of Madrid presented his paper next on Java Bytecode Verification using Analysis and Transformation of Logic Programs. The aim of their work is to automatically transfer the power of analysis tools for LP to the analysis and verification of Java bytecode. In order to achieve our goal, they rely on well-known techniques for meta- programming and program specialization.
The fifth presentation was given by Stefano
Tonetta from
After a short coffee break, the last session started at 4pm.
Dr. Burkhart Wolff from ETH
The last presentation was given by Mr. Ossami from LORIA. Mr. Ossami and his two coauthors proposed a process model for the development of formal and semi-formal specifications based on the notions of multi-view state and of development operators.
Besides the invited speaker and authors of accepted papers mentioned above, the attendees of SVV include Dr. Hill from University of Leeds, Dr. Koprowski from Eindhoven University of Technology, Dr. Lukácsy from Budapest University of Technology and Economics, and Dr. Veith from TU Munich. The workshop was adjourned at 5:30pm.